Build an Interface Setp by Step

نویسنده

  • PEDRO SILVA
چکیده

There is an increasing demand for software that matches real user needs in a working environment. Human being always had de necessity to increase their knowledge about the world changes and evolution. Nowadays, new technologies allow him to make dreams came truth This paper describes the development process focused on the user, describing the many phases to follow to meeting user needs, and to promote quality in use.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

An Optimized Transmission Power Control Method for Pulsed BeiDou Pseudolite Signals

This paper presents an optimized transmission power control moethod for BeiDou pseudolites (BPLs) signals. Because of the near-far problem, the signal coverage probability of the conventional power transmission control method is nearly 50 percent at 95 dBm. Any further increase in transmission power only results in a decrease in the probability. In order to mitigate the near-far problem, a dyna...

متن کامل

An Interactive Metatool for Exploring Program Algebras

We describe how an existing tool is extended to allow exploratory reasoning in program algebras with theorem proving support The existing tool Tk WinHOL and the Re nement Calculator provides a graphical user interface to the window inference reasoning system for the HOL theorem prover We show how a user with a small amount of work can build an extension to this tool which can then be used to bu...

متن کامل

The Stochastic Eulerian Tour Problem

This paper defines the Stochastic Eulerian Tour Problem (SETP) and investigates several characteristics of this problem. Given an undirected Eulerian graph , a subset =) of the edges in E that require service, and a probability distribution for the number of edges in R that have to be visited in any given instance of the graph, the SETP seeks an a priori Eulerian tour of minimum expected length...

متن کامل

Automated Random Testing to Detect Specification-Code Inconsistencies

An interface specification language such as JML provides a means to document precisely the behavior of program modules such as Java classes, and it is being adopted by industry. However, few practical tools exist for programmers to assure the correctness of their interface specifications. Nonetheless, the correctness of an interface specification is a prerequisite for the use of the specificati...

متن کامل

Climate Change and Drought Events in the Geochemical Records of the Lacustrine Deposits in the Southeastern Tibetan Plateau

Lacustrine deposits at the margin of the southeastern Tibetan Plateau (SETP) are sensitive indicators for the evolution of the southwest Asian monsoon (SWAM) during the Quaternary. Thus, they can provide insight into the Quaternary climatic history and their relationship with global climatic changes. The results of the geochemical analysis of the Xiaozhongdian Basin section at the SETP suggest ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2005